backward difference operator